double-throw pump - German English Dictionary